In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:
Em lógica, a lei do terceiro excluído (em latim, principium tertii exclusi ou tertium non datur) é a terceira de três clássicas Leis do Pensamento. Ela afirma que, para qualquer proposição, ou esta proposição é verdadeira, ou sua negação é verdadeira.
A primeira formulação conhecida foi o princípio da não-contradição, de Aristóteles, proposto pela primeira vez em Da Interpretação, onde ele diz que de duas proposições contraditórias (ou seja, uma proposição é a negação de outra) uma é necessariamente verdade e a outra falsa. Ele também afirma isso como um princípio no livro 3 de Metafísica, dizendo que em todo caso é necessário afimar ou negar, e que é impossível que haja qualquer coisa entre as duas partes da contradição. Esse princípio foi declarado como um teorema da lógica proposicional por Russel e Whitehead em Principia Mathematica.
.
Esse princípio não deve ser confundido com o princípio da bivalência, que estabelece que toda proposição ou é verdadeira ou é falsa, e tem apenas uma formulação semântica.